|
In mathematics, specifically in class theories, the axiom of global choice is a stronger variant of the axiom of choice that applies to proper classes of sets as well as sets of sets. Informally it states that one can simultaneously choose an element from every non-empty set. == Statement == The axiom of global choice states that there is a global choice function τ, meaning a function such that that for every non-empty set ''z'', τ(''z'') is an element of ''z''. The axiom of global choice cannot be stated directly in the language of ZFC (Zermelo–Fraenkel set theory with the axiom of choice), as the choice function τ is a proper class and in ZFC one cannot quantify over classes. It can be stated by adding a new function symbol τ to the language of ZFC, with the property that τ is a global choice function. This is a conservative extension of ZFC: every provable statement of this extended theory that can be stated in the language of ZFC is already provable in ZFC . Alternatively, Gödel showed that given the axiom of constructibility one can write down an explicit (though somewhat complicated) choice function τ in the language of ZFC, so in some sense the axiom of constructibility implies global choice. In the language of von Neumann–Bernays–Gödel set theory (NBG) and Morse-Kelley set theory, the axiom of global choice can be stated directly , and is equivalent to various other statements: * Every class of nonempty sets has a choice function. * V \ has a choice function (where V is the class of all sets). * There is a well-ordering of V. * There is a bijection between V and the class of all ordinal numbers. In von Neumann–Bernays–Gödel set theory, global choice does not add any consequence about ''sets'' (not proper classes) beyond what could have been deduced from the ordinary axiom of choice. Global choice is a consequence of the axiom of limitation of size. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Axiom of global choice」の詳細全文を読む スポンサード リンク
|